Functional programming

Results: 3706



#Item
491Software engineering / Computer programming / Category theory / Algebra / Functional programming / Higher-order functions / Programming language comparisons / Adjoint functors / Monad / Functor / Fold / Map

Submission for IFLFlipping Fold, Reformulating Reduction An Exercise in Categorical Design Gershom Bazerman S&P/CapitalIQ

Add to Reading List

Source URL: gbaz.github.io

Language: English - Date: 2016-02-29 17:49:20
492Software engineering / Declarative programming / Lambda calculus / Computer programming / Functional programming / A-normal form / Let expression / Fixed-point combinator / Exponentiation / Expression / Monad / Anonymous function

c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN

Add to Reading List

Source URL: ndmitchell.com

Language: English
493Subroutines / Functional programming / Lambda calculus / Anonymous function / Parameter / List comprehension / Python syntax and semantics / Lazy evaluation

from python import lecture A gentle introduction to the python programming language Muli Ben-Yehuda

Add to Reading List

Source URL: www.mulix.org

Language: English - Date: 2016-06-16 09:04:09
494Software engineering / Computer programming / Declarative programming / Functional programming / Models of computation / Monad / Substitution / Lambda calculus

Monadic Translation of Multi-Staged Languages Ludovic Patey Kwangkeun Yi

Add to Reading List

Source URL: ludovicpatey.com

Language: English - Date: 2013-04-16 05:40:57
495Computing / Software engineering / Software / Programming languages / Cross-platform software / Functional languages / Java platform / Object-oriented programming languages / Computer programming / Programmer / Processing / APL

Microsoft Word - ChilanaVLHCC15CameraReadyFinal.docx

Add to Reading List

Source URL: www.pgbovine.net

Language: English - Date: 2015-09-04 12:38:20
496Functional programming / Software distribution / Cross-platform software / Package manager / Linux / GNU Guix / GNU Guile / GNU Project / Nix package manager / Arch Linux

Functional Package and Configuration Management with GNU Guix David Thompson Wednesday, January 20th, 2016

Add to Reading List

Source URL: www.blu.org

Language: English - Date: 2016-01-21 10:28:40
497Software engineering / Computer programming / Computing / Object-oriented programming languages / Scripting languages / High-level programming languages / Programming paradigms / Cross-platform software / Immutable object / D / Ruby / Functional programming

Flexibility Through Immutability Ricardo J. Méndez @ArgesRic

Add to Reading List

Source URL: itakeunconf.com

Language: English - Date: 2016-05-24 08:00:53
498Software engineering / Computer programming / Declarative programming / Functional programming / Evaluation strategy / Programming paradigms / Lambda calculus / Functional languages / Reactive programming / Functional reactive programming / Scala / Ur

Containers and Aggregates, Mutators and Isolates for Reactive Programming Aleksandar Prokopec Philipp Haller

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2014-07-29 07:43:08
499Software engineering / Software / Computer programming / Functional languages / Racket / Readevalprint loop / Monitor / Thread safety / Standard ML / Callback / Widget / Pipeline

Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine) Matthew Flatt Robert Bruce Findler Shriram Krishnamurthi Department of Computer Science∗

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2015-11-12 18:17:11
500Software engineering / Computer programming / Declarative programming / Subroutines / Lambda calculus / Functional programming / Fold / Recursion / Anonymous function / Inline expansion / Term

Loosing Functions Without Gaining Data

Add to Reading List

Source URL: ndmitchell.com

Language: English - Date: 2016-04-19 09:56:22
UPDATE